Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Theoretical Philosophy,Fundamentals of Mathematics, Logics, Set Theory |
| Keywords | Nelson's logic, Paraconsistent logic, constructive negation, lattices of logics, modal logic |
Current contact address
| Country | Russian Federation |
|---|---|
| City | Novosibirsk |
| Institution | Sobolev Institute of Mathematics |
| Institute | Department of mathematical logic |
Host during sponsorship
| Prof. Dr. Heinrich Wansing | Institut für Philosophie, Technische Universität Dresden, Dresden |
|---|---|
| Start of initial sponsorship | 01/02/2002 |
Programme(s)
| 2001 | Humboldt Research Fellowship Programme |
|---|
Publications (partial selection)
| 2004 | Sergey P. Odintsov, Heinrich Wansing: Constructive Predicate Logic and Constructive Modal Logic. Formal Duality versus Semantical Duality.. In: Dresden Preprints in Theoretical Philosophy and Philosophical Logic, 2004, 1-17 |
|---|---|
| 2003 | Sergey P. Odintsov: 'Reduction ad Absurdum' and Lukasiewicz's Modalities. In: Logic and Logical Philosophy, 2003, 149-166 |
| 2003 | Sergey P. Odintsov: Algebraic Semantics for Paraconsitent Nelson's Logic. In: J. Logic Computat., 2003, 453-468 |
| 2003 | Sergey P. Odintsov, Heinrich Wansing: Inconsistency-tolerant Description Logic: Motivation and Basic Systems. In: V.F. Hendricks, J.Malinowski, Trends in Logic: 50 Years of Studia Logica. Kluwer Academic Publishers, 2003. 301-335 |
| 2002 | Sergey P. Odintsov: On the Embedding of Nelson's Logics. In: Bulletin of the Section of Logic, 2002, 241-248 |
| 2002 | Sergey P. Odintsov: On the Structure of Paraconsistent Extensions of Johansson's Logic (extended abstract). In: CLE-e-prints (ftp://logica.cle.unicamp.br/pub/e-prints/Odintsov.ps), 2002, |